Publications of
An interoperability testing approach to wireless application protocols
In : Journal of Universal Computer Science, J.UCS Springer Co.Pub, Vol. 9, pp. 1220-1243, 2003.
Conformance testing to real-time communications systems
In : Computer Communications, Elsevier Science, Vol. 25, pp. 32-45, 2002.
A local approach to the testing of real-time systems
In : The Computer Journal, British Computer Society, Oxford Press, Vol. 44, pp. 435-447, 2001.
Ousmane Koné, Richard Castanet
Test generation for interworking systems
In : Computer Communications, Elsevier Science, Vol. 23, pp. 642-652, 2000.
Ousmane Koné, Richard Castanet
Méthodes formelles de test de conformité de protocoles
In : Technique et science informatiques, Hermes, Vol. 5, pp. 1-35, 1999.
Symbolic and On the fly Testing with Real-time Observers
In : IFIP International Conference on Testing Communicating Systems (TestCom 2006), New York, 20/05/06-26/05/06, Springer-Verlag, pp. 1-16, 2006.
Jean-Paul Bodeveix, Ousmane Koné, Rachid Bouaziz
Test method for embedded real-time systems
In : ERCIM European Workshop on Dependable Software Intensive Embedded Systems, Porto, 31/08/05-02/09/05, ERCIM, pp. 1-10, August 2005.
Generating Interoperability Test Cases from Conformance Test Case Generation Tools
In : IFIP International Conference onFormal Techniques for Networked andDistributed Systems FORTE, Madrid, 27/09/04-30/09/04, David de Frutos-Escrig, Manuel Núñez (Eds.), IFIP, pp. 1-15, September 2004.
Model-driven Scenarios for Real-time Software
In : IEEE International Symposium on System Reliability Engineering, Saint Malo, 01/10/04-31/10/04, IEEE, pp. 1-10, October 2004.
Test de robustesse
In : SETIT, Tunisie, 17/03/03-21/03/03, IEEE, pp. 100-111, March 2003.
Modelling Location Operations in UMTS Networks
In : MOBICOM/MSWIM, Atlanta, 23/09/02-28/09/02, ACM, pp. 129-139, September 2002.
Compliance of wireless application protocols
In : TESTCOM – Testing Internet Technologies and Services, Berlin, 19/03/02-22/03/02, IFIP – Kluwer Academic Publishers, pp. 129-139, March 2002.
Automates temporisés et expression de la Qualité de Service
In : Qualité de Service en Ingénierie des Protocoles. (Eds.) , Hermès, pp. 19-47, 2001.
Richard Castanet, Ousmane Koné, Patrice Laurençot
Génération de séquences de test temporisé
In : Ecole d’Eté Temps Réel. (Eds.) , CNRS EDITIONS, pp. 204-215, 1997.